#ifndef __SBI_H_
#define __SBI_H_

#include "types.h"

void set_timer(uint64 time);
extern void console_putchar(char ch);
extern char console_getchar(void);
extern void shutdown(void);

#endif
